Equivariant resolution of points of indeterminacy
نویسندگان
چکیده
منابع مشابه
Equivariant Cohomology and Resolution
The ‘Folk Theorem’ that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type is proved in the context of manifolds with corners. This procedure is shown to capture the simultaneous resolution of all isotropy types in a ‘resolution tower’ which projects to a resolution, with iterated boundary fibration, of the quotient. Equivaria...
متن کاملEquivariant Resolution of Singurlarities in Characteristic 0
0. Introduction We work over an algebraically closed field k of characteristic 0. 0.1. Statement. In this paper, we use techniques of toric geometry to reprove the following theorem: Theorem 0.1. Let X be a projective variety of finite type over k, and let Z ⊂ X be a proper closed subset. Let G ⊂ Aut k (Z ⊂ X) be a finite group. Then there is a G-equivariant modification r : X 1 → X such that X...
متن کاملDelocalized Equivariant Cohomology and Resolution
A refined form of the ‘Folk Theorem’ that a smooth action by a compact Lie group can be (canonically) resolved, by iterated blow up, to have unique isotropy type was established in [1] in the context of manifolds with corners; the canonical construction induces fibrations on the boundary faces of the resolution resulting in an ‘equivariant resolution structure’. Here, equivariant K-theory and t...
متن کامل2 Equivariant Resolution of Singularities in Characteristic 00
0. Introduction We work over an algebraically closed eld k of characteristic 0. 0.1. Statement. In this paper, we use techniques of toric geometry to reprove the following theorem: Theorem 0.1. Let X be a projective variety of nite type over k, and let Z X be a proper closed subset. Let G Aut k (Z X) be a nite group. Then there is a G-equivariant modii-cation r : X 1 ! X such that X 1 is nonsin...
متن کاملBoundary Points and Resolution
We use the notion of boundary points to study resolution proofs. Given a CNF formula F , an l(x)-boundary point is a complete assignment falsifying only clauses of F having the same literal l(x) of variable x. An l(x)-boundary point p mandates a resolution on variable x. Adding the resolvent of this resolution to F eliminates p as an l(x)-boundary point. Any resolution proof has to eventually e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2002
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-02-06595-4